System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
781	IOTC-2014-CoC11-CR09 Rev1[E] IOTC Compliance Report for: India Report produced on: [removed]N° Source Add to Reading List Source URL: iotc.org Language: English - Date: 2014-09-02 02:48:09 Water transport Programming language theory Vessel monitoring system Water Software engineering Illegal unreported and unregulated fishing ALGOL 68 Fishing industry Fisheries science Navigation
782	Programming Guide vRealize Automation 6.2 This document supports the version of each product listed and supports all subsequent versions until the document is replaced by a new edition. To check for more recent editions Add to Reading List Source URL: pubs.vmware.com Language: English VMware Access token Representational state transfer Security Assertion Markup Language Token coin System software Software Computing
783	A Theory of Type Qualifiers∗ Jeffrey S. Foster [removed] Manuel F¨ ahndrich Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2005-11-12 18:17:25 Programming language theory Subtype polymorphism Symbol Type inference Hindley–Milner Type system Type safety Simply typed lambda calculus Reference Software engineering Type theory Computing
784	Records Advice No 20 What is Squiz Matrix? The ACT Government has made available Squiz Matrix (formerly MySource Matrix) that will assist records managers in their digital records management. Add to Reading List Source URL: www.territoryrecords.act.gov.au Language: English - Date: 2013-04-04 00:30:49 Squiz Web content management system Multistate Anti-Terrorism Information Exchange Content management systems Software PHP programming language
785	Type Qualifiers: Lightweight Specifications to Improve Software Quality by Jeffrey Scott Foster B.S. (Cornell University[removed]M.Eng. (Cornell University) 1996 Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2005-11-12 18:17:26 Computing Data types Inference Object-oriented programming Program analysis Type system Subtype polymorphism Type inference Programming language Type theory Software engineering Programming language theory
786	Checking and Inferring Local Non-Aliasing∗ Alex Aiken Jeffrey S. Foster University of California, Berkeley Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2005-11-12 18:17:25 Type system Type inference Software engineering Theoretical computer science Type theory Programming language theory Program analysis
787	GAO[removed]Highlights, Healthcare.gov: CMS Has Taken Steps to Address Problems, but Needs to Further Implement Systems Development Best Practices Add to Reading List Source URL: www.gao.gov Language: English - Date: 2015-03-04 11:59:26 Management PHP programming language Content management systems IBM CP-40 Software System software Best practice
788	Supported Configurations and System Requirements vFabric tc Server 2.8 VMware vFabric Suite 5.2 This document supports the version of each product listed and Add to Reading List Source URL: pubs.vmware.com Language: English Java platform Relational database management systems Java programming language VMware Java Oracle Database Apache Tomcat Microsoft SQL Server Computing platform Computing Software Cross-platform software
789	Draft invited presentation at: Pierre Duhem Conference (Society for Philosophy of Science), Tuesday 19th July 2011, Nancy, France, http://www.sps-philoscience.org/activites/activite.php?id=15 Evolution of mind as a feat Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-07-15 22:05:05 Models of computation Virtual machines Programming language implementation Turing machine VM Simulation Communications protocol Alan Turing Programming language System software Computing Software
790	What the HACK is HHVM? Leong Hean Hong[removed] @ HackerspaceJB About ● Add to Reading List Source URL: speakerd.s3.amazonaws.com Language: English - Date: 2015-03-09 06:15:15 PHP programming language Cross-platform software Virtual machines PHP Scripting languages Zend Engine Bitly Java Just-in-time compilation Software Computing System software

UPDATE